Optimization of Structurally Synthesized Bdds
نویسنده
چکیده
Binary Decision Diagrams present an efficient way of modeling digital systems for simulation purposes. In order to take into account the need of representing faults directly in BDDs for fault simulation and test generation a special class of BDDs, refered to as structurally synthesized BDDs is used in the paper. It is shown that the efficiency of simulation using SSBDD highly depends on the distribution of the probabilities of input signal values and on the way the nodes are ordered in SSBDDs. A method and algorithm for optimal ordering of nodes in SSBDDs for the given distribution of the probabilities of input signal values is presented in the paper. Experimental data show an increase in the simulation speed by using SSBDDs with correspondingly reordered nodes.
منابع مشابه
Feasibility of Structurally Synthesized BDD Models for Test Generation
An ATPG algorithm based on a special class of BDD models, called Structurally Synthesized BDDs (SSBDD), is presented. Experimental results show that the novel test generation approach provides a remarkable speed-up in comparison with classical gate-oriented methods. In addition, SSBDDs offer a more generalized view to the test generation problem.
متن کاملParallel Fault Simulation of Digital Circuits
A new approach to parallel fault simulation for sequential circuits based on Binary Decision Diagrams (BDD) is proposed. The efficiency of BDDs for simulation is well known. However, traditional BDDs are not well-suited for fault simulation. Furthermore, up to now, they have not been used for parallel simulation. In the paper, a new class of BDDs is presented, called Structurally Synthesized BD...
متن کاملFault Simulation with Parallel Critical Path Tracing for Combinational Circuits Using Structurally Synthesized BDDs
An efficient method of parallel fault simulation for combinational circuits is proposed. The method is based on structurally synthesized BDDs (SSBDD) which allow to represent gate level circuits at higher macro level where macros represent subnetworks of gates. Converting the gate-level circuits to the macrolevel is accompanied with corresponding fault collapsing. A parallel fault analysis algo...
متن کاملEfficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs
Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSBDD) can be used for representation, simulation and fault modeling of digital circuits. It is shown how the first phase of any fault simulation algorithm: the fault-free simulation can be accelerated using this model. Moreover, ...
متن کاملDiagnostic Modeling of Digital Systems with Multi-Level Decision Diagrams
In order to cope with the complexity of today’s digital systems in diagnostic modeling, hierarchical multi-level approaches should be used. In this chapter, the possibilities of using Decision Diagrams (DD) for uniform diagnostic modeling of digital systems at different levels of abstraction are discussed. DDs can be used for modeling the functions and faults of systems at logic, register trans...
متن کامل